Behaviour based on decision matrices for a coordination between agents in a urban traffic simulation

This paper describes a multi-agent coordination mechanism applied to intersection simulation situations. In a goal of urban traffic simulation, we must consider the dynamic interactions between autonomous vehicles. The field of multi-agent systems provides us some studies for such systems, in particular on the coordination mechanisms. Conflicts between vehicles (i.e. agents) are very frequent in such applications, and they may cause deadlocks, particularly at intersections such as crossroads. Our approach is based on the solving of two player games/decision matrices which characterize three basic situations. An aggregation method generalizes to n-player games for complex crossroads. The objective of this approach consists in searching basic two-player matrices for solving n-agent problems. To explain the principle, we describe our approach for a particular case of crossroad with three agents. Finally, the obtained results have been examined via a tool of road traffic simulation, ARCHISIM. We assume also that the global traffic replicates the behavior of agents in different situations.     

A performance evaluation of scalable live video streaming with nano data centers

To improve the efficiency and the quality of a service, a network operator may consider deploying a peer-to-peer architecture among controlled peers, also called here nano data centers, which contrast with the churn and resource heterogeneity of peers in uncontrolled environments. In this paper, we consider a prevalent peer-to-peer application: live video streaming. We demonstrate how nano data centers can take advantage of the self-scaling property of a peer-to-peer architecture, while significantly improving the quality of a live video streaming service, allowing smaller delays and fast channel switching. We introduce the branching architecture for nano datacenters (BAND), where a user can “pull” content from a channel of interest, or content could be “pushed” to it for relaying to other interested users. We prove that there exists an optimal trade-off point between minimizing the number of push, or the number of relaying nodes, and maintaining a robust topology as the number of channels and users get large, which allows scalability. We analyze the performance of content dissemination as users switch between channels, creating migration of nodes in the tree, while flow control insures continuity of data transmission. We prove that this p2p architecture guarantees a throughput independently of the size of the group. Analysis and evaluation of the model demonstrate that pushing content to a small number of relay nodes can have significant performance gains in throughput, start-up time, playback lags and channel switching delays.     

Proteomic Helicobacter pylori biomarkers discriminative of low-grade gastric MALT lymphoma and duodenal ulcer

To date no reliable diagnostic method exists to predict, among the very large and clinically heterogeneous group of Helicobacter pylori‐infected patients, the extremely small group at risk for developing low‐grade gastric MALT lymphoma (LG‐MALT). Search of proteomic biomarkers holds promise for the classification of the H. pylori strains with regard to this severe clinical outcome. In the present study 69 H. pylori strains isolated from patients with two different H. pylori‐associated diseases, duodenal ulcer (DU, n=29) and LG‐MALT (n=40) were used. Protein expression patterns of the strains were analyzed by using the high‐throughput methodology SELDI. Selected proteins were purified by means of chromatographic and electrophoretic methods in view of further sequencing by LC‐MS/MS. Univariate analysis (Mann–Whitney test) of the protein expression patterns generated nine significant biomarkers that can discriminate between H. pylori strains from patients with DU and LG‐MALT. These biomarkers are of low molecular weight, ranging from 6 to 26.6 kDa. Among them, two are overexpressed in LG‐MALT strains and seven – in DU strains. Two biomarker proteins, one overexpressed in LG‐MALT strains (13.2 kDa) and another one – overexpressed in DU strains (26.6 kDa), were purified to homogeneity and identified by using LC‐MS/MS as a 50S ribosomal protein L7/L12 and a urease subunit, respectively. These biomarkers can be included in novel protein arrays for the differential diagnosis of H. pylori‐associated clinical outcomes.     

Polite Combination of Algebraic Datatypes

Journal of Automated Reasoning - Algebraic datatypes, and among them lists and trees, have attracted a lot of interest in automated reasoning and Satisfiability Modulo Theories (SMT). Since its...     

Fast in situ 3D nanoimaging: a new tool for dynamic characterization in materials science

1. Download high-res image (269KB)
2. Download full-size image

     

Metallic Conductive Nanowires Elaborated by PVD Metal Deposition on Suspended DNA Bundles

Metallic conductive nanowires (NWs) with DNA bundle core are achieved, thanks to an original process relying on double‐stranded DNA alignment and physical vapor deposition (PVD) metallization steps involving a silicon substrate. First, bundles of DNA are suspended with a repeatable process between 2 µm high parallel electrodes with separating gaps ranging from 800 nm to 2 µm. The process consists in the drop deposition of a DNA lambda‐phage solution on the electrodes followed by a naturally evaporation step. The deposition process is controlled by the DNA concentration within the buffer solution, the drop volume, and the electrode hydrophobicity. The suspended bundles are finally metallized with various thicknesses of titanium and gold by a PVD e‐beam evaporation process. The achieved NWs have a width ranging from a few nanometers up to 100 nm. The electrical behavior of the achieved 60 and 80 nm width metallic NWs is shown to be Ohmic and their intrinsic resistance is estimated according to different geometrical models of the NW section area. For the 80 nm width NWs, a resistance of about few ohms is established, opening exploration fields for applications in microelectronics.     

Flow modeling of linear and nonlinear fluids in two scale fibrous fabrics

The fundamental macroscopic material property needed to quantify the flow in a fibrous medium viewed as a porous medium is the permeability. Composite processing models require the permeability as input data to predict flow patterns and pressure fields. As permeability reflects both the magnitude and anisotropy of the fluid/fiber resistance, efficient numerical techniques are needed to solve linear and nonlinear homogenization problems online during the flow simulation. In a previous work the expressions of macroscopic permeability were derived in a double-scale porosity medium for both Newtonian and rheo-thinning resins. In the linear case only a microscopic calculation on a representative volume is required, implying as many microscopic calculations as representative microscopic volumes exist in the whole fibrous structure. In the non-linear case, and even when the porous microstructure can be described by a unique representative volume, microscopic calculation must be carried out many times because the microscale resin viscosity depends on the macroscopic velocity, which in turn depends on the permeability that results from a microscopic calculation. Thus, a nonlinear multi-scale problem results. In this paper an original and efficient offline-online procedure is proposed for the efficient solution of nonlinear flow problems in porous media.     

Stereoisomers composition of 4-[(1′-methylpropyl)-oxycarbonyl]-2-oxetanone and related compounds,as precursors of fuctional polyesters,determined by chiral gas chromatography

Summary The configurational analysis of racemic and optically active stereoisomers of 4-[(1-methylpropyl)oxycarbonyl]-2-oxetanone has been carried out by using chiral gas chromatography. This technique has been successful in the stereoisomers composition determination of these -substituted -lactones prepared by two different routes and used as monomers in the preparation of malic acid stereocopolymers. Result are in good agreement with those obtained from high resolution ¹H NMR, in the presence of an Europium salt, as chiral shift reagent. This method has been extended to 3-methyl-4-[(1,2,2-trimethyl propyl)oxycarbonyl]-2-oxetanone. The exact knowledge of precursors configurational structure is very important in regard to the obtention of the corresponding polystereoisomers with a strictly controlled enantiomeric or diastereoisomeric composition and consequently with predictable properties.     

A semantics of introspection in a reflective prototype-based language

In Malenfant et al. [19], we have described a reflective model for a prototype-based language based on thelookup o apply reflective introspection protocol. In this paper, we augment our previous protocol by converting it to handle continuations reified as first-class objects. First-class continuations provide much more control over the current computation; during the introspection phase fired by message sending, they make it possible not only to change the behavior of the program for that message but also for the entire future computation. In this paper, we provide this introspection protocol with a formal semantics. This result is obtained by exhibiting a mapping from program configurations to priority rewrite systems (PRS) as well as a mapping from message expressions to ground first-order terms used to query the PRS. Other advantages of this approach are: to ensure the termination of the introspection using the smallest set of formally justified conditions and to provide a clear declarative account of this reflective protocol. The PRS also appears as a meta-level to the base language, independent of the implementation, but from which we derive fundamental clues to obtain an efficient language processor. By our new model, we finally highlight the link between reflection in object-oriented languages and the one originally proposed by 3-Lisp [24], although object-orientation provides reusability to reflection, making it easier to use.     

Matching and alpha-equivalence check for nominal terms

Nominal terms generalise first-order terms by including abstraction and name swapping constructs. α-equivalence can be easily axiomatised using name swappings and a freshness relation, which makes the nominal approach well adapted to the specification of systems that involve binders. Nominal matching is matching modulo α-equivalence and has applications in programming languages, rewriting, and theorem proving. In this paper, we describe efficient algorithms to check the validity of equations involving binders and to solve matching problems modulo α-equivalence, using the nominal approach.